201. Information algebras :
پدیدآورنده : Jürg Kohlas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computer science -- Mathematics.,Information theory -- Mathematics.
رده :
QA76
.
9
.
M35
J874
2003
202. Introduction a l'algebra de boole et aux dispositifs logiques
پدیدآورنده : Hoernes, Gerhard E
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic calculating machines-- Design and construction,، Algebra, Boolean
رده :
QA
76
.
H6
203. Introduction to Boolean algebra and logic design;a program for self- instruction
پدیدآورنده : [by]& Gerhard E. Hoernes [and]& Melvin F. Heilweil
موضوع : Computer engineering--Programmed instruction,Logic design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
204. Introduction to boolean algebra & logic design:a program for self
پدیدآورنده : HOERNES,GERHARD E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC CALCULATING-MACHINES-DESIGN & , ALGEBRA,BOOLEAN
رده :
QA
76
.
H57
205. Introduction to boolean algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
G58I5
206. Introduction to boolean algebras
پدیدآورنده : Givant, Steven., Steven Givant
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebra, Boolean
رده :
QA
3
.
G5
207. Introduction to boolean algebras
پدیدآورنده : / Steven Givant, Paul Halmos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Booleaanse algebra., gtt,Boolesche Algebra., swd
رده :
E-BOOK
208. Introduction to digital electronics /
پدیدآورنده : John Crowe and Barrie Hayes-Gill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital electronics.,Digital electronics.,Digitale technieken.,Elektronische schakelingen.
رده :
TK7868
.
D5
C72
1998eb
209. Introduction to digital systems design /
پدیدآورنده : Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
رده :
QA76
.
9
.
S88
210. Introduction to discrete mathematics via logic and proof /
پدیدآورنده : Calvin Jongsma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
211. Introduction to lattice theory with computer science applications /
پدیدآورنده : Vijay K. Garg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
212. Introduction to lattices and order /
پدیدآورنده : B.A. Davey, H.A. Priestley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lattice theory.
رده :
QA171
.
5
.
D38
2002
213. Introduction to logic circuits & logic design with VHDL /
پدیدآورنده : Brock J. LaMeres.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic circuits.,VHDL (Computer hardware description language),Logic circuits.,VHDL (Computer hardware description language)
رده :
TK7868
.
L6
214. Introduction to mathematics of satisfiability
پدیدآورنده : / Victor W. Marek
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Propositional calculus.,Logic, Symbolic and mathematical.
رده :
QA9
.
3
.
M37
2009
215. Introduction to the comparative method with Boolean algebra
پدیدآورنده : Daniele Caramani
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Social sciences^aComparative method,Algebra, Boolean
رده :
300
,.
511324
,
C2465I
216. Introduction to the comparative method with Boolean algebra
پدیدآورنده : Caramani, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Comparative method ، Social sciences,، Algebra, Boolean
رده :
H
61
.
C2465
2009
217. Introductoin to Boolean algebra and logic desing, a program for self instruction
پدیدآورنده : / Gerhard E. Heornew, Melvin F. Heilweil
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic calculating - Machines - Desing and constructoin,Algebra, Boolean
رده :
510
.
78
Ho-I
218. Key concepts & techniques in GIS
پدیدآورنده : / Jochen Albrecht
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geographic information systems
رده :
G70
.
212
.
A43
2007
219. Kinetic logic :
پدیدآورنده : ed. by René Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biomathematik.,Boolesche Algebra.,Boolescher Verband.
رده :
QH450
.
E339
1979
220. Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Genetic regulation-- Mathematical models-- Congresses,، Algebra, Boolean-- Congresses
رده :
QH
450
.
K53
